Auxiliaries in double-negation settings (non potest non +
نویسندگان
چکیده
منابع مشابه
Non-Monotonic Negation in Probabilistic Deductive Databases
In this paper we study tlw uses and the se mantics of non-monotonic negation in prob abilistic deductive databases. Based on the stahl<semantics for classical logic program ming, we in I roduce the notion of stable for mula functions. We show that. stable for mula functions are minimal fixpoints of op erators associated with probabilistic dednc1 ive databases with negation. Furthermore, s...
متن کاملNon-Gödel Negation Makes Unwitnessed Consistency Undecidable
Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show th...
متن کاملnon-corrective approach to pronunciation
the aim of this study has been to find answers for the following questions: 1. what is the effect of immediate correction on students pronunciation errors? 2. what would be the effect of teaching the more rgular patterns of english pronunciation? 3. is there any significant difference between the two methods of dealing with pronuciation errore, i. e., correction and the teaching of the regular ...
15 صفحه اولNegation and Double-Negation of Chinese Oppositeness
Oppositeness refers to the paradigmatic relationship of two words holding the contrast meanings. The fact that linguistic opposite differs from logical contrast has been discussed in theories, but has not been tested in practice. In this paper, we investigate three main subtypes of Chinese oppositeness, via using logical tests of negation and double-negation. Result shows that purely logical te...
متن کاملRelations between ex falso, tertium non datur, and double negation elimination
We show which implicational relations hold between the three principles ex falso sequitur quodlibet, tertium non datur, and double negation elimination, on the basis of minimal logic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pallas
سال: 2016
ISSN: 0031-0387,2272-7639
DOI: 10.4000/pallas.3618